Incorporating Formal Techniques into Industrial Practice
نویسندگان
چکیده
We report about experiences with component-based development supported by formal techniques at Philips Healthcare. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven development has been used. We discuss the results of these combined techniques in a project which developed the power control service of an interventional X-ray system.
منابع مشابه
Incorporating Formal Techniques into Industrial Practice: an Experience Report
We report about experiences at Philips Healthcare with component-based development supported by formal techniques. The formal Analytical Software Design (ASD) approach of the company Verum has been incorporated into the industrial workflow. The commercial tool ASD:Suite supports both compositional verification and code generation for control components. For other components test-driven developm...
متن کاملApplying Formal Veriication to a Commercial Microprocessor
| Formal veriication using interactive proof-checkers has been used successfully to verify a wide variety of moderate-sized hardware designs. The industry is beginning to look at formal veriication as an alternative to simulation for obtaining higher assurance than is currently possible. However, many questions remain regarding its use in practice: Can these techniques scale up to industrial sy...
متن کاملFormal Verification of an Avionics Microprocessor
Formal specification combined with mechanical verification is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practi...
متن کاملFormal Veri cation of an Avionics Microprocessor
Formal speci cation combined with mechanical veri cation is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practice...
متن کاملIncorporating a Formal Design Technique into an Industrial Environment: An Experience Report
Formal Specification Techniques (FSTs) are mathematically-based techniques that can be used by system designers to specify the desired behavior of a computer-based system and its structural properties. It has been hypothesized that the use of FSTs in software design has two primary advantages: (1) the act of formalizing design concepts provides the designer with insights that can lead to a deep...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012